Cache coherence

Results: 102



#Item
41Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider the formal verification of the cache coherence

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider the formal verification of the cache coherence

Add to Reading List

Source URL: www.kenmcmil.com

Language: English - Date: 2006-06-02 17:23:24
    42Lecture 1: Introduction and Memory Systems • CS 7810 Course organization:  7 lectures on memory systems  3 lectures on cache coherence and consistency  2 lectures on transactional memory  2 lectures on inte

    Lecture 1: Introduction and Memory Systems • CS 7810 Course organization:  7 lectures on memory systems  3 lectures on cache coherence and consistency  2 lectures on transactional memory  2 lectures on inte

    Add to Reading List

    Source URL: www.eng.utah.edu

    Language: English - Date: 2014-01-06 12:48:54
      43CACHE COHERENCE DIRECTORIES FOR SCALABLE MULTIPROCESSORS Richard Simoni Technical Report: CSL-TROctober 1992 Computer Systems Laboratory

      CACHE COHERENCE DIRECTORIES FOR SCALABLE MULTIPROCESSORS Richard Simoni Technical Report: CSL-TROctober 1992 Computer Systems Laboratory

      Add to Reading List

      Source URL: vlsiweb.stanford.edu

      Language: English - Date: 2009-05-29 13:24:50
        44Modelling and Validation of Shared Memory Coherency Protocols Abstract We present an analytical model of a cache coherent shared-memory multiprocessor and compare the results obtained with those from an execution-driven

        Modelling and Validation of Shared Memory Coherency Protocols Abstract We present an analytical model of a cache coherent shared-memory multiprocessor and compare the results obtained with those from an execution-driven

        Add to Reading List

        Source URL: pubs.doc.ic.ac.uk

        Language: English - Date: 2011-11-14 07:29:11
        45Automatic Generation of Veriable Cache Coherence Simulation Models from High-level Specications A.J. Field, P.G. Harrison, K. Kanani fajf,pgh, Department of Computing Imperial College

        Automatic Generation of Veri able Cache Coherence Simulation Models from High-level Speci cations A.J. Field, P.G. Harrison, K. Kanani fajf,pgh, Department of Computing Imperial College

        Add to Reading List

        Source URL: pubs.doc.ic.ac.uk

        Language: English - Date: 2011-11-14 07:17:02
        46Cache Coherence Protocols: Evaluation Using a Multiprocessor Simulation Model JAMES ARCHIBALD and JEAN-LOUP University of Washington  BAER

        Cache Coherence Protocols: Evaluation Using a Multiprocessor Simulation Model JAMES ARCHIBALD and JEAN-LOUP University of Washington BAER

        Add to Reading List

        Source URL: ctho.org

        Language: English - Date: 2005-04-22 14:42:58
        47´ Ecole Polytechnique F´ ed´ erale de Lausanne, Switzerland

        ´ Ecole Polytechnique F´ ed´ erale de Lausanne, Switzerland

        Add to Reading List

        Source URL: www.tuxmaniac.com

        Language: English - Date: 2010-01-19 05:45:28
        48David Whitmarsh | Shadowmist Ltd  Case Study – An Oracle Coherence Data Grid in OSGi Containers

        David Whitmarsh | Shadowmist Ltd Case Study – An Oracle Coherence Data Grid in OSGi Containers

        Add to Reading List

        Source URL: www.osgi.org

        Language: English - Date: 2013-02-05 20:22:03
        49Combing Message Passing and Shared Memory on clusters of PCs with a SMiLE

        Combing Message Passing and Shared Memory on clusters of PCs with a SMiLE

        Add to Reading List

        Source URL: www.compunity.org

        Language: English - Date: 2007-10-15 03:40:55
        50Evaluating the Memory Performance of a ccNUMA System Uroˇs Prestor September 5, 2001  Abstract

        Evaluating the Memory Performance of a ccNUMA System Uroˇs Prestor September 5, 2001 Abstract

        Add to Reading List

        Source URL: www.sgidepot.co.uk

        Language: English - Date: 2008-04-15 16:27:00